Quantifikator

Quantifikator

Немецко-русский математический словарь. 2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "Quantifikator" в других словарях:

  • Quantifikator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Quantifikator — Quantor * * * Quan|ti|fi|ka|tor, der; s, ...oren (Logik): Quantor …   Universal-Lexikon

  • Quantifikator — Quan|ti|fi|ka|tor der; s, ...oren <zu ↑...ator> svw. ↑Quantor …   Das große Fremdwörterbuch

  • Quantor — Quantifikator * * * Quạntor   der, s/... toren, Logik: eine logische Partikel, die dazu dient, unbegrenzt viele, durch eine Aussageform gegebene Aussagen zu einer neuen prädikatenlogisch zusammengesetzten Aussage zu verknüpfen (Logik, Abschnitt… …   Universal-Lexikon

  • HPSG — Die Head driven Phrase Structure Grammar (HPSG) ist eine Grammatiktheorie, die in den 1980er Jahren auf der Basis der Wiederbelebung der kontextfreien Phrasenstrukturgrammatiken als Generative Grammatiktheorie aus der Familie der… …   Deutsch Wikipedia

  • Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Generalisator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Head-driven Phrase Structure Grammar — Die Head driven Phrase Structure Grammar (HPSG) ist eine Grammatiktheorie, die in den 1980er Jahren auf der Basis der Wiederbelebung der kontextfreien Phrasenstrukturgrammatiken als Generative Grammatiktheorie aus der Familie der… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»